Processing math: 100%
Subalgebra A14+A11 ↪ E16
114 out of 119
Computations done by the calculator project.

Subalgebra type: A14+A11 (click on type for detailed printout).
The subalgebra is regular (= the semisimple part of a root subalgebra).
Subalgebra is (parabolically) induced from A14 .
Centralizer: T1 (toral part, subscript = dimension).
The semisimple part of the centralizer of the semisimple part of my centralizer: E16
Basis of Cartan of centralizer: 1 vectors: (1, 0, 2, 0, -2, -4)

Elements Cartan subalgebra scaled to act by two by components: A14: (1, 2, 2, 3, 2, 1): 2, (0, -1, 0, 0, 0, 0): 2, (0, 0, 0, -1, 0, 0): 2, (0, 0, 0, 0, -1, 0): 2, A11: (1, 0, 0, 0, 0, 0): 2
Dimension of subalgebra generated by predefined or computed generators: 27.
Negative simple generators: g−36, g2, g4, g5, g−1
Positive simple generators: g36, g−2, g−4, g−5, g1
Cartan symmetric matrix: (2−1000−12−1000−12−1000−12000002)
Scalar products of elements of Cartan subalgebra scaled to act by 2 (co-symmetric Cartan matrix): (2−1000−12−1000−12−1000−12000002)
Decomposition of ambient Lie algebra: V2ω5⊕Vω3+ω5⊕Vω2+ω5⊕Vω1+ω4⊕Vω4⊕Vω1⊕V0
Primal decomposition of the ambient Lie algebra. This decomposition refines the above decomposition (please note the order is not the same as above). Vω1+12ψ⊕Vω3+ω5+6ψ⊕V2ω5⊕Vω1+ω4⊕V0⊕Vω2+ω5−6ψ⊕Vω4−12ψ
In the table below we indicate the highest weight vectors of the decomposition of the ambient Lie algebra as a module over the semisimple part. The second row indicates weights of the highest weight vectors relative to the Cartan of the semisimple subalgebra. As the centralizer is well-chosen and the centralizer of our subalgebra is non-trivial, we may in addition split highest weight vectors with the same weight over the semisimple part over the centralizer (recall that the centralizer preserves the weights over the subalgebra and in particular acts on the highest weight vectors). Therefore we have chosen our highest weight vectors to be, in addition, weight vectors over the Cartan of the centralizer of the starting subalgebra. Their weight over the sum of the Cartans of the semisimple subalgebra and its centralizer is indicated in the third row. The weights corresponding to the Cartan of the centralizer are again indicated with the letter \omega. As there is no preferred way of chosing a basis of the Cartan of the centralizer (unlike the starting semisimple Lie algebra: there we have a preferred basis induced by the fundamental weights), our centralizer weights are simply given by the constant by which the k^th basis element of the Cartan of the centralizer acts on the highest weight vector. Here, we use the choice for basis of the Cartan of the centralizer given at the start of the page.

Highest vectors of representations (total 7) ; the vectors are over the primal subalgebra.−h6−1/2h5+1/2h3+1/4h1g29g6g32g24g7g1
weight0ω1ω4ω1+ω4ω2+ω5ω3+ω52ω5
weights rel. to Cartan of (centralizer+semisimple s.a.). 0ω1+12ψω4−12ψω1+ω4ω2+ω5−6ψω3+ω5+6ψ2ω5
Isotypic module decomposition over primal subalgebra (total 7 isotypic components).
Isotypical components + highest weightV0 → (0, 0, 0, 0, 0, 0)Vω1+12ψ → (1, 0, 0, 0, 0, 12)Vω4−12ψ → (0, 0, 0, 1, 0, -12)Vω1+ω4 → (1, 0, 0, 1, 0, 0)Vω2+ω5−6ψ → (0, 1, 0, 0, 1, -6)Vω3+ω5+6ψ → (0, 0, 1, 0, 1, 6)V2ω5 → (0, 0, 0, 0, 2, 0)
Module label W1W2W3W4W5W6W7
Module elements (weight vectors). In blue - corresp. F element. In red -corresp. H element. Cartan of centralizer component.
−h6−1/2h5+1/2h3+1/4h1
g29
g−20
−g−16
g−11
−g−6
g6
g11
g16
g20
−g−29
Semisimple subalgebra component.
−g32
g−14
−g34
−g−10
g−8
−g35
g−5
−g−4
g−2
−g36
h5
−h4
h2
h6+2h5+3h4+2h3+2h2+h1
g4
−2g5
−g2
g−36
g8
−g10
−g−35
g−34
−g14
−g−32
g24
g27
g21
−g−23
g30
g25
g−19
g−26
g33
g28
−g−15
g−13
−g−22
g31
−g−9
g−18
−g−17
−g−3
g−12
g−7
g7
−g12
g3
−g17
g18
−g9
−g−31
g22
−g13
g15
g−28
g−33
g26
g19
−g−25
−g−30
g23
g−21
g−27
−g−24
Semisimple subalgebra component.
−g1
h1
2g−1
Weights of elements in fundamental coords w.r.t. Cartan of subalgebra in same order as above0ω1
−ω1+ω2
−ω2+ω3
−ω3+ω4
−ω4		ω4
ω3−ω4
ω2−ω3
ω1−ω2
−ω1		ω1+ω4
−ω1+ω2+ω4
ω1+ω3−ω4
−ω2+ω3+ω4
−ω1+ω2+ω3−ω4
ω1+ω2−ω3
−ω3+2ω4
−ω2+2ω3−ω4
−ω1+2ω2−ω3
2ω1−ω2
0
0
0
0
ω2−2ω3+ω4
ω3−2ω4
ω1−2ω2+ω3
−2ω1+ω2
ω1−ω2−ω3+ω4
ω2−ω3−ω4
−ω1−ω2+ω3
−ω1−ω3+ω4
ω1−ω2−ω4
−ω1−ω4		ω2+ω5
ω1−ω2+ω3+ω5
ω2−ω5
−ω1+ω3+ω5
ω1−ω3+ω4+ω5
ω1−ω2+ω3−ω5
−ω1+ω2−ω3+ω4+ω5
−ω1+ω3−ω5
ω1−ω4+ω5
ω1−ω3+ω4−ω5
−ω2+ω4+ω5
−ω1+ω2−ω4+ω5
−ω1+ω2−ω3+ω4−ω5
ω1−ω4−ω5
−ω2+ω3−ω4+ω5
−ω2+ω4−ω5
−ω1+ω2−ω4−ω5
−ω3+ω5
−ω2+ω3−ω4−ω5
−ω3−ω5		ω3+ω5
ω2−ω3+ω4+ω5
ω3−ω5
ω1−ω2+ω4+ω5
ω2−ω4+ω5
ω2−ω3+ω4−ω5
−ω1+ω4+ω5
ω1−ω2+ω3−ω4+ω5
ω1−ω2+ω4−ω5
ω2−ω4−ω5
−ω1+ω3−ω4+ω5
−ω1+ω4−ω5
ω1−ω3+ω5
ω1−ω2+ω3−ω4−ω5
−ω1+ω2−ω3+ω5
−ω1+ω3−ω4−ω5
ω1−ω3−ω5
−ω2+ω5
−ω1+ω2−ω3−ω5
−ω2−ω5		2ω5
0
−2ω5
Weights of elements in (fundamental coords w.r.t. Cartan of subalgebra) + Cartan centralizer0ω1+12ψ
−ω1+ω2+12ψ
−ω2+ω3+12ψ
−ω3+ω4+12ψ
−ω4+12ψ		ω4−12ψ
ω3−ω4−12ψ
ω2−ω3−12ψ
ω1−ω2−12ψ
−ω1−12ψ		ω1+ω4
−ω1+ω2+ω4
ω1+ω3−ω4
−ω2+ω3+ω4
−ω1+ω2+ω3−ω4
ω1+ω2−ω3
−ω3+2ω4
−ω2+2ω3−ω4
−ω1+2ω2−ω3
2ω1−ω2
0
0
0
0
ω2−2ω3+ω4
ω3−2ω4
ω1−2ω2+ω3
−2ω1+ω2
ω1−ω2−ω3+ω4
ω2−ω3−ω4
−ω1−ω2+ω3
−ω1−ω3+ω4
ω1−ω2−ω4
−ω1−ω4		ω2+ω5−6ψ
ω1−ω2+ω3+ω5−6ψ
ω2−ω5−6ψ
−ω1+ω3+ω5−6ψ
ω1−ω3+ω4+ω5−6ψ
ω1−ω2+ω3−ω5−6ψ
−ω1+ω2−ω3+ω4+ω5−6ψ
−ω1+ω3−ω5−6ψ
ω1−ω4+ω5−6ψ
ω1−ω3+ω4−ω5−6ψ
−ω2+ω4+ω5−6ψ
−ω1+ω2−ω4+ω5−6ψ
−ω1+ω2−ω3+ω4−ω5−6ψ
ω1−ω4−ω5−6ψ
−ω2+ω3−ω4+ω5−6ψ
−ω2+ω4−ω5−6ψ
−ω1+ω2−ω4−ω5−6ψ
−ω3+ω5−6ψ
−ω2+ω3−ω4−ω5−6ψ
−ω3−ω5−6ψ		ω3+ω5+6ψ
ω2−ω3+ω4+ω5+6ψ
ω3−ω5+6ψ
ω1−ω2+ω4+ω5+6ψ
ω2−ω4+ω5+6ψ
ω2−ω3+ω4−ω5+6ψ
−ω1+ω4+ω5+6ψ
ω1−ω2+ω3−ω4+ω5+6ψ
ω1−ω2+ω4−ω5+6ψ
ω2−ω4−ω5+6ψ
−ω1+ω3−ω4+ω5+6ψ
−ω1+ω4−ω5+6ψ
ω1−ω3+ω5+6ψ
ω1−ω2+ω3−ω4−ω5+6ψ
−ω1+ω2−ω3+ω5+6ψ
−ω1+ω3−ω4−ω5+6ψ
ω1−ω3−ω5+6ψ
−ω2+ω5+6ψ
−ω1+ω2−ω3−ω5+6ψ
−ω2−ω5+6ψ		2ω5
0
−2ω5
Single module character over Cartan of s.a.+ Cartan of centralizer of s.a.M0Mω1+12ψ⊕M−ω3+ω4+12ψ⊕M−ω2+ω3+12ψ⊕M−ω1+ω2+12ψ⊕M−ω4+12ψMω4−12ψ⊕Mω1−ω2−12ψ⊕Mω2−ω3−12ψ⊕Mω3−ω4−12ψ⊕M−ω1−12ψMω1+ω4⊕M−ω3+2ω4⊕M−ω2+ω3+ω4⊕M−ω1+ω2+ω4⊕M2ω1−ω2⊕Mω1+ω2−ω3⊕Mω1+ω3−ω4⊕Mω1−ω2−ω3+ω4⊕Mω2−2ω3+ω4⊕Mω1−2ω2+ω3⊕4M0⊕M−ω1+2ω2−ω3⊕M−ω2+2ω3−ω4⊕M−ω1+ω2+ω3−ω4⊕M−ω1−ω3+ω4⊕M−ω1−ω2+ω3⊕M−2ω1+ω2⊕Mω1−ω2−ω4⊕Mω2−ω3−ω4⊕Mω3−2ω4⊕M−ω1−ω4Mω1−ω3+ω4+ω5−6ψ⊕Mω1−ω2+ω3+ω5−6ψ⊕Mω2+ω5−6ψ⊕M−ω2+ω4+ω5−6ψ⊕M−ω1+ω2−ω3+ω4+ω5−6ψ⊕M−ω1+ω3+ω5−6ψ⊕Mω1−ω4+ω5−6ψ⊕M−ω3+ω5−6ψ⊕M−ω2+ω3−ω4+ω5−6ψ⊕M−ω1+ω2−ω4+ω5−6ψ⊕Mω1−ω3+ω4−ω5−6ψ⊕Mω1−ω2+ω3−ω5−6ψ⊕Mω2−ω5−6ψ⊕M−ω2+ω4−ω5−6ψ⊕M−ω1+ω2−ω3+ω4−ω5−6ψ⊕M−ω1+ω3−ω5−6ψ⊕Mω1−ω4−ω5−6ψ⊕M−ω3−ω5−6ψ⊕M−ω2+ω3−ω4−ω5−6ψ⊕M−ω1+ω2−ω4−ω5−6ψMω1−ω2+ω4+ω5+6ψ⊕Mω2−ω3+ω4+ω5+6ψ⊕Mω3+ω5+6ψ⊕M−ω1+ω4+ω5+6ψ⊕Mω1−ω3+ω5+6ψ⊕Mω1−ω2+ω3−ω4+ω5+6ψ⊕Mω2−ω4+ω5+6ψ⊕M−ω2+ω5+6ψ⊕M−ω1+ω2−ω3+ω5+6ψ⊕M−ω1+ω3−ω4+ω5+6ψ⊕Mω1−ω2+ω4−ω5+6ψ⊕Mω2−ω3+ω4−ω5+6ψ⊕Mω3−ω5+6ψ⊕M−ω1+ω4−ω5+6ψ⊕Mω1−ω3−ω5+6ψ⊕Mω1−ω2+ω3−ω4−ω5+6ψ⊕Mω2−ω4−ω5+6ψ⊕M−ω2−ω5+6ψ⊕M−ω1+ω2−ω3−ω5+6ψ⊕M−ω1+ω3−ω4−ω5+6ψM2ω5⊕M0⊕M−2ω5
Isotypic characterM0Mω1+12ψ⊕M−ω3+ω4+12ψ⊕M−ω2+ω3+12ψ⊕M−ω1+ω2+12ψ⊕M−ω4+12ψMω4−12ψ⊕Mω1−ω2−12ψ⊕Mω2−ω3−12ψ⊕Mω3−ω4−12ψ⊕M−ω1−12ψMω1+ω4⊕M−ω3+2ω4⊕M−ω2+ω3+ω4⊕M−ω1+ω2+ω4⊕M2ω1−ω2⊕Mω1+ω2−ω3⊕Mω1+ω3−ω4⊕Mω1−ω2−ω3+ω4⊕Mω2−2ω3+ω4⊕Mω1−2ω2+ω3⊕4M0⊕M−ω1+2ω2−ω3⊕M−ω2+2ω3−ω4⊕M−ω1+ω2+ω3−ω4⊕M−ω1−ω3+ω4⊕M−ω1−ω2+ω3⊕M−2ω1+ω2⊕Mω1−ω2−ω4⊕Mω2−ω3−ω4⊕Mω3−2ω4⊕M−ω1−ω4Mω1−ω3+ω4+ω5−6ψ⊕Mω1−ω2+ω3+ω5−6ψ⊕Mω2+ω5−6ψ⊕M−ω2+ω4+ω5−6ψ⊕M−ω1+ω2−ω3+ω4+ω5−6ψ⊕M−ω1+ω3+ω5−6ψ⊕Mω1−ω4+ω5−6ψ⊕M−ω3+ω5−6ψ⊕M−ω2+ω3−ω4+ω5−6ψ⊕M−ω1+ω2−ω4+ω5−6ψ⊕Mω1−ω3+ω4−ω5−6ψ⊕Mω1−ω2+ω3−ω5−6ψ⊕Mω2−ω5−6ψ⊕M−ω2+ω4−ω5−6ψ⊕M−ω1+ω2−ω3+ω4−ω5−6ψ⊕M−ω1+ω3−ω5−6ψ⊕Mω1−ω4−ω5−6ψ⊕M−ω3−ω5−6ψ⊕M−ω2+ω3−ω4−ω5−6ψ⊕M−ω1+ω2−ω4−ω5−6ψMω1−ω2+ω4+ω5+6ψ⊕Mω2−ω3+ω4+ω5+6ψ⊕Mω3+ω5+6ψ⊕M−ω1+ω4+ω5+6ψ⊕Mω1−ω3+ω5+6ψ⊕Mω1−ω2+ω3−ω4+ω5+6ψ⊕Mω2−ω4+ω5+6ψ⊕M−ω2+ω5+6ψ⊕M−ω1+ω2−ω3+ω5+6ψ⊕M−ω1+ω3−ω4+ω5+6ψ⊕Mω1−ω2+ω4−ω5+6ψ⊕Mω2−ω3+ω4−ω5+6ψ⊕Mω3−ω5+6ψ⊕M−ω1+ω4−ω5+6ψ⊕Mω1−ω3−ω5+6ψ⊕Mω1−ω2+ω3−ω4−ω5+6ψ⊕Mω2−ω4−ω5+6ψ⊕M−ω2−ω5+6ψ⊕M−ω1+ω2−ω3−ω5+6ψ⊕M−ω1+ω3−ω4−ω5+6ψM2ω5⊕M0⊕M−2ω5

Semisimple subalgebra: W_{4}+W_{7}
Centralizer extension: W_{1}

Weight diagram. The coordinates corresponding to the simple roots of the subalgerba are fundamental.
The bilinear form is therefore given relative to the fundamental coordinates.
Canvas not supported




Mouse position: (0.00, 0.00)
Selected index: -1
Coordinate center in screen coordinates:
(200.00, 420.00)
The projection plane (drawn on the screen) is spanned by the following two vectors.
(1.00, 0.00, 0.00, 0.00, 0.00, 0.00)
(0.00, 1.00, 0.00, 0.00, 0.00, 0.00)
0: (1.00, 0.00, 0.00, 0.00, 0.00, 0.00): (280.00, 480.00)
1: (0.00, 1.00, 0.00, 0.00, 0.00, 0.00): (260.00, 540.00)
2: (0.00, 0.00, 1.00, 0.00, 0.00, 0.00): (240.00, 500.00)
3: (0.00, 0.00, 0.00, 1.00, 0.00, 0.00): (220.00, 460.00)
4: (0.00, 0.00, 0.00, 0.00, 1.00, 0.00): (200.00, 420.00)
5: (0.00, 0.00, 0.00, 0.00, 0.00, 1.00): (200.00, 420.00)



Made total 614 arithmetic operations while solving the Serre relations polynomial system.